GSPM相关论文
安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该......
随着现代社会向信息化方向不断迈进,越来越多的传统的信息保存和传播媒介开始被数字化的媒介所取代。其中,企业内部交流信息和文件......
改进了一般安全协议模型GSPM,提出了一个新的框架GSPM^#,以弥补GSPM框架没有研究安全协议匿名性的不足.同时,用不同的方法定义了新框......